翻訳と辞書 |
Monoidal adjunction : ウィキペディア英語版 | Monoidal adjunction
Suppose that and are two monoidal categories. A monoidal adjunction between two lax monoidal functors : and is an adjunction between the underlying functors, such that the natural transformations : and are monoidal natural transformations. == Lifting adjunctions to monoidal adjunctions == Suppose that : is a lax monoidal functor such that the underlying functor has a right adjoint . This adjuction lifts to a monoidal adjuction ⊣ if and only if the lax monoidal functor is strong.
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Monoidal adjunction」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|